#ifndef LAPIC_H
#define LAPIC_H

void lapic_init(void);
void cmostime(struct rtcdate *r);

#endif